Local programming

Results: 648



#Item
611Classes of computers / Application programming interfaces / Local area networks / Java remote method invocation / Remote procedure call / Metacomputing / Message Passing Interface / Myrinet / Computer cluster / Computing / Concurrent computing / Parallel computing

Wide-Area Parallel Computing in Java Rob van Nieuwpoort Jason Maassen Henri E. Bal Thilo Kielmann Ronald Veldema

Add to Reading List

Source URL: www.cs.vu.nl

Language: English - Date: 2007-09-18 08:29:27
612Local area networks / Java remote method invocation / Remote procedure call / Java programming language / Myrinet / Metacomputing / Serialization / Computer cluster / Java / Computing / Classes of computers / Parallel computing

Wide-Area Parallel Programming using the Remote Method Invocation Model Rob van Nieuwpoort Jason Maassen Henri E. Bal

Add to Reading List

Source URL: www.cs.vu.nl

Language: English - Date: 2007-09-18 08:29:16
613Constraint satisfaction problem / Local consistency / FO / Boolean satisfiability problem / Decomposition method / Complexity of constraint satisfaction / Theoretical computer science / Constraint programming / Applied mathematics

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics

Add to Reading List

Source URL: ijcai.org

Language: English - Date: 2013-07-25 05:33:36
614Forcing / Enumeration / Mathematical logic / Logic / Theory of computation / Philosophy of mathematics / Turing degree / Generic programming / Mathematics / Enumerative combinatorics / Computability theory

ENUMERATION 1-GENERICITY IN THE LOCAL ENUMERATION DEGREES. LILIANA BADILLO† , CHARLES M. HARRIS‡ , AND MARIYA I. SOSKOVA§∗

Add to Reading List

Source URL: www.fmi.uni-sofia.bg

Language: English - Date: 2013-01-04 08:50:43
615Fax / Computing / Technology / Functional programming / Monad

For optimal handling please save the PDF on your local computer

Add to Reading List

Source URL: www.fair-business.de

Language: English - Date: 2014-03-31 02:25:13
616Logic programming / Automated theorem proving / Constraint programming / Admissible rule / Unification / Satisfiability / Local consistency / Mathematical logic / Logic / Model theory

Unification in Maude Steven Eker 1 Unification

Add to Reading List

Source URL: maude.cs.uiuc.edu

Language: English - Date: 2009-04-09 21:15:33
617Mathematics / Computing / Functional programming / Monad / Presentation of a group

For optimal handling please save the PDF on your local computer !

Add to Reading List

Source URL: www.fair-business.de

Language: English
618Software engineering / Application programming interfaces / Threads / Fortran / Concurrency control / OpenMP / POSIX Threads / Thread-local storage / Thread / Computing / Computer programming / Parallel computing

The one line of C code that will make your program ten times faster Ben Klemens 19 Feb 2014 It might be a link-bait title, but it’s true: you can cut the time it takes for your compute-intensive program to run in half,

Add to Reading List

Source URL: modelingwithdata.org

Language: English - Date: 2014-03-01 08:45:27
619Artificial intelligence / Constraint satisfaction problem / Local consistency / Constraint satisfaction / AC-3 algorithm / Constraint logic programming / Backjumping / Backtracking / Constraint graph / Constraint programming / Software engineering / Computer programming

Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical

Add to Reading List

Source URL: ktiml.mff.cuni.cz

Language: English - Date: 1999-12-06 11:36:48
620Artificial intelligence / Local consistency / Constraint satisfaction problem / Backjumping / Constraint satisfaction / Constraint optimization / Look-ahead / Backmarking / Backtracking / Constraint programming / Software engineering / Computer programming

Microsoft PowerPoint - CP school 2005 Pro tisk

Add to Reading List

Source URL: ktiml.mff.cuni.cz

Language: English - Date: 2005-09-20 00:13:36
UPDATE